]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efde11a) | patch
windowMenu: Use CHECK ornament rather than DOT
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 30 Jul 2015 13:54:16 +0000 (15:54 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 30 Jul 2015 16:11:43 +0000 (18:11 +0200)
commitfc45cf03bf07e67c04c33cce2a3adca0e88d4917
tree01a51c4d0da093049ecb73cda4674e2606125d2ftree | snapshot
parentefde11a0f3d5b66df0079678bd2be1d17e28e12acommit | diff
windowMenu: Use CHECK ornament rather than DOT

The dot suggests a radio action, while the items are actually toggles;
in the app menu we use checkmarks in that case, so do the same here.
js/ui/windowMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.